Booleans
(&&) :: Boolean -> Boolean -> Boolean (Prelude)
Boolean conjunction (and). The function is a macro that evaluates the second parameter
only if the first parameter is True.
| a | b | a && b |
|---|
| True | True | True |
| True | False | False |
| False | not evaluated | False |
(||) :: Boolean -> Boolean -> Boolean (Prelude)
Boolean disjunction (or). The function is a macro that evaluates the second parameter
only if the first parameter is False.
| a | b | a || b |
|---|
| True | not evaluated | True |
| False | True | True |
| False | False | False |
not :: Boolean -> Boolean (Prelude) and :: [Boolean] -> Boolean (Prelude) or :: [Boolean] -> Boolean (Prelude) all :: (a -> <b> Boolean) -> [a] -> <b> Boolean (Prelude)
all pred lst tests whether the predicate pred holds for all elements of lst.
It returns immediately when it encounters the first value not satisfying the predicate.
any :: (a -> <b> Boolean) -> [a] -> <b> Boolean (Prelude)
any pred lst tests whether the predicate pred holds some element of lst.
It returns immediately when it encounters the first value satisfying the predicate.
|